Mot du Président
نویسندگان
چکیده
منابع مشابه
Ecole Normale Supérieure de Cachan 61 , avenue du Président Wilson 94235 Cachan Cedex France
Well-structured transition systems (WSTS's) are a general class of innnite state systems for which decidability results rely on the existence of a well-quasi-ordering between states that is compatible with the transitions. In this article, we provide an extensive treatment of the WSTS idea and show several new results. Our improved deenitions allow many examples of classical systems to be seen ...
متن کاملBuilding a Potassium MOT
A magneto-optical trap (MOT) was developed in order to cool and trap potassium atoms. This required construction of a mechanism for tuning and locking the frequency of a trap and repump laser in order to maintain the correct energy transitions needed to ensure trapping of the atoms. Once the lasers’ frequencies were locked, the beams were combined and amplified and can now be combined with lase...
متن کاملSOT for MOT
In this paper we present a robust tracker to solve the multiple object tracking (MOT) problem, under the framework of tracking-by-detection. As the first contribution, we innovatively combine single object tracking (SOT) algorithms with multiple object tracking algorithms, and our results show that SOT is a general way to strongly reduce the number of false negatives, regardless of the quality ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Radioprotection
سال: 2008
ISSN: 0033-8451,1769-700X
DOI: 10.1051/radiopro:2008034